201. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
پدیدآورنده : Michael G. Hinchey ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2699
202. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
203. Formal ontology in information systems :
پدیدآورنده : edited by Carola Eschenbach and Michael Grüninger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Conceptual structures (Information theory), Congresses.,Database design, Congresses.,Expert systems (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Ontology, Congresses.,Conceptual structures (Information theory),Database design.,Expert systems (Computer science),Knowledge representation (Information theory),Ontology.
رده :
QA76
.
76
.
E95
F65
2008
204. Foundations and practical applications of cognitive systems and information processing :
پدیدآورنده : Fuchun Sun, Dewen Hu, Huaping Liu, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses,Artificial Intelligence (incl. Robotics),Computational Intelligence,Data Mining and Knowledge Discovery,Engineering,Information Storage and Retrieval,Information Systems Applications (incl. Internet),Signal, Image and Speech Processing
رده :
Q342
205. Foundations and practical applications of cognitive systems and information processing : proceedings of the first International Conference on Cognitive Systems and Information Processing, Beijing, China, Dec 2012 )CSIP2012(
پدیدآورنده : Sun ,Fuchun,Fuchun Sun; Dewen Hu; Huaping Liu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Computational intelligence,، Engineering,، Computational Intelligence
رده :
Q342
206. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
207. From bioinspired systems and biomedical applications to machine learning :
پدیدآورنده : José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Javier Toledo Moreo, Hojjat Adeli (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Biological applications, Congresses.,Artificial intelligence-- Medical applications, Congresses.,Natural computation, Congresses.,Artificial intelligence-- Biological applications.,Artificial intelligence-- Medical applications.,Natural computation.
رده :
R859
.
7
.
A78
208. Frontiers in Computer Education
پدیدآورنده : \ Editor Yuanzhi Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Study and teaching -- Congresses. ,علوم کامپیوتر -- راهنمای آموزشی -- کنگره ها
رده :
QA
76
.
27
.
F7
2015
E-Book
,
209. Frontiers of assembly and manufacturing :
پدیدآورنده : Sukhan Lee, Raúl Suárez, and Byung-Wook Choi, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Assembly-line methods, Congresses.,Industrial engineering, Congresses.,Manufacturing processes-- Automation, Congresses.,Assembly-line methods.,Industrial engineering.,Ingénierie.,Manufacturing processes-- Automation.
رده :
TS178
.
4
.
I34
2010
210. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
211. Fundamentals of Software Engineering.
پدیدآورنده : \ Mehdi Dastani , Marjan Sirjani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Software engineering -- Congresses.,Programming Techniques.,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
F8
2015
E-Book
,
212. Future Access Enablers for Ubiquitous and Intelligent Infrastructures
پدیدآورنده : \ Vladimir Atanasovski , Alberto Leon-Garcia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Ubiquitous computing -- Congresses.,Artificial intelligence -- Congresses,محاسبه فراگیر -- گنگره ها,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
5915
.
F8
2015
E-Book
,
213. Future Information Technology :
پدیدآورنده : James J. (Jong Hyuk) Park, Ivan Stojmenovic, Min Choi, Fatos Xhafa, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information technology, Congresses,Communications Engineering, Networks,Information Systems and Communication Service,Multimedia Information Systems
رده :
T58
.
5
.
I58
2012
214. Future data and security engineering :
پدیدآورنده : Tran Khanh Dang, Josef Küng, Roland Wagner, Nam Thoai, Makoto Takizawa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data, Congresses.,Computer security, Congresses.,Data encryption (Computer science), Congresses.,Internet of things, Congresses.,Artificial intelligence.,Big data.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Data encryption (Computer science),Data mining.,Information retrieval.,Internet of things.,Network hardware.
رده :
QA76
.
9
.
A25
215. Future generation information technology :
پدیدآورنده : Tai-hoon Kim [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
F45
2011
216. Fuzzy information and engineering
پدیدآورنده : Bing-yuan Cao, Cheng-yi Zhang, Tai-fu Li, eds
موضوع : Soft computing, Congresses,Fuzzy systems, Congresses,Fuzzy sets, Congresses,Fuzzy logic, Congresses,Information technology, Congresses,Artificial intelligence, Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
217. Fuzzy information and engineering
پدیدآورنده : / Bing-yuan Cao, Cheng-yi Zhang, Tai-fu Li (eds)
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Soft computing, Congresses,Fuzzy systems, Congresses,Fuzzy sets, Congresses,Fuzzy logic, Congresses,Information technology, Congresses,Artificial intelligence, Congresses
رده :
QA76
.
9
.
S63F86
2009
218. Fuzzy logic and intelligent technologies for nuclear science and industry: proceedings of the 3rd International FLINS Workshop, Antwerp, Belgium, September 14-16, 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Nuclear physics-- Mahtematics,Congresses ، Nuclear engineering-- Mathematics,Congresses ، Fuzzy logic,Congresses ، Artificial intelligence
رده :
QC
770
.
I613
1998
219. Fuzzy logic and intelligent technologies in nuclear science: proceedings of the 1st International FLINS Workshop, Mol, Belgium, September 14-16, 1994
پدیدآورنده : International FLINS Workshop )1st : 4991 : Mol, Belgium(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Nuclear physics- Mathematics- Congresses,، Nuclear engineering- Mathematics- Congresses,، Fuzzy logic- Congresses,، Artificial intelligence- Congresses
رده :
QC
770
.
I68
1994
220. Grid and distributed computing :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses.,Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
C58
G33
2011